finite projection
If a projection is NOT an infinite projection. There does not exist any projection who is Murray-von Neumann to it which is a proper sub-projection. See Definition 5.1.1..